[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 70 64 80 73 98 1187 132 118

N.S.

1 0.95 0.86 1.08 0.99 1.32 16.04 1.78 1.59

time (sec)

N/A 0.214 0.049 3.936 0.218 0.262 7.731 0.287 5.685

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 95 132 106 148 2467 260 183

N.S.

1 1.00 1.00 1.39 1.12 1.56 25.97 2.74 1.93

time (sec)

N/A 0.238 0.066 4.038 0.202 0.255 20.673 0.281 5.656

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 30 25 33 94 43 34

N.S.

1 1.00 1.00 1.20 1.00 1.32 3.76 1.72 1.36

time (sec)

N/A 0.169 0.024 0.046 0.199 0.248 0.264 0.256 5.837

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.161 0.002 0.077 0.210 0.248 0.015 0.257 0.026

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.160 0.002 0.077 0.200 0.258 0.015 0.274 0.023

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 14 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.82 0.76 0.71 0.76 0.76

time (sec)

N/A 0.157 0.001 0.060 0.212 0.232 0.015 0.278 0.022

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.158 0.001 0.024 0.205 0.244 0.016 0.264 0.020

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.154 0.001 0.022 0.216 0.239 0.015 0.272 0.021

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 8 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.147 0.000 0.022 0.202 0.250 0.014 0.269 0.018

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 14 11 10 14 11

N.S.

1 1.00 1.00 0.92 1.08 0.85 0.77 1.08 0.85

time (sec)

N/A 0.153 0.003 0.026 0.226 0.266 0.029 0.257 0.023

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 14 8 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.93 0.53 0.87 0.87

time (sec)

N/A 0.158 0.003 0.027 0.215 0.269 0.031 0.266 0.025

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 14 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.82 0.71 0.76 0.76

time (sec)

N/A 0.151 0.003 0.027 0.217 0.412 0.035 0.272 0.023

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 15 8 10 10

N.S.

1 1.00 1.00 0.92 0.83 1.25 0.67 0.83 0.83

time (sec)

N/A 0.147 0.001 0.029 0.204 0.249 0.037 0.281 0.025

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 14 17 10 20 11

N.S.

1 1.00 1.00 0.92 1.08 1.31 0.77 1.54 0.85

time (sec)

N/A 0.151 0.002 0.027 0.200 0.270 0.052 0.264 0.042

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.93 0.87 0.87

time (sec)

N/A 0.152 0.002 0.026 0.198 0.256 0.060 0.261 0.024

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.151 0.002 0.027 0.194 0.247 0.067 0.258 0.027

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 15 15 15 15 15

N.S.

1 1.00 1.00 0.82 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.152 0.002 0.028 0.193 0.270 0.067 0.254 0.031

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.152 0.002 0.028 0.204 0.252 0.067 0.257 0.029

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 15 15 15 15 15

N.S.

1 1.00 1.00 0.82 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.152 0.002 0.029 0.206 0.253 0.079 0.264 0.030

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 92 43 85 309 117 93

N.S.

1 1.00 0.93 2.14 1.00 1.98 7.19 2.72 2.16

time (sec)

N/A 0.182 0.039 3.892 0.205 0.276 0.441 0.278 5.796

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 24 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.166 0.001 3.842 0.210 0.253 0.019 0.262 0.035

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.165 0.001 3.886 0.207 0.246 0.017 0.260 0.033

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 30 15 14 24 24 14 24

N.S.

1 1.00 1.88 0.94 0.88 1.50 1.50 0.88 1.50

time (sec)

N/A 0.139 0.001 3.865 0.222 0.241 0.018 0.263 0.033

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.164 0.001 3.825 0.210 0.257 0.016 0.266 0.032

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 24 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.162 0.002 4.076 0.208 0.252 0.016 0.270 0.032

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 21 21 22 21 21

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.162 0.001 3.862 0.209 0.283 0.016 0.259 0.029

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 30 26 23 25 22 22 25 22

N.S.

1 1.15 1.00 0.88 0.96 0.85 0.85 0.96 0.85

time (sec)

N/A 0.167 0.001 3.851 0.210 0.267 0.036 0.272 0.029

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 25 24 26 22 24 25

N.S.

1 1.00 1.00 0.89 0.86 0.93 0.79 0.86 0.89

time (sec)

N/A 0.163 0.001 3.881 0.211 0.309 0.034 0.269 0.035

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 24 23 25 22 23 25

N.S.

1 1.00 1.00 0.89 0.85 0.93 0.81 0.85 0.93

time (sec)

N/A 0.164 0.001 3.872 0.202 0.273 0.038 0.292 0.034

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 23 22 26 22 22 22

N.S.

1 1.00 1.00 0.88 0.85 1.00 0.85 0.85 0.85

time (sec)

N/A 0.168 0.001 3.935 0.279 0.417 0.044 0.277 0.033

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 28 27 24 25 27 24 33 23

N.S.

1 1.04 1.00 0.89 0.93 1.00 0.89 1.22 0.85

time (sec)

N/A 0.174 0.001 3.860 0.547 0.286 0.067 0.265 0.032

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 56 177 61 157 683 224 167

N.S.

1 1.00 0.92 2.90 1.00 2.57 11.20 3.67 2.74

time (sec)

N/A 0.205 0.061 4.059 0.202 0.287 0.723 0.283 5.919

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 39 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.178 0.002 3.898 0.207 0.264 0.018 0.277 0.048

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 37 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.178 0.002 3.890 0.220 0.363 0.018 0.349 0.063

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 43 15 14 35 37 14 35

N.S.

1 1.00 2.69 0.94 0.88 2.19 2.31 0.88 2.19

time (sec)

N/A 0.140 0.002 3.868 0.200 0.261 0.021 0.334 0.045

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 39 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.173 0.002 3.890 0.196 0.261 0.018 0.284 0.044

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 37 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.180 0.002 3.815 0.198 0.276 0.018 0.289 0.042

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 33 32 32 34 32 32

N.S.

1 1.00 1.00 0.87 0.84 0.84 0.89 0.84 0.84

time (sec)

N/A 0.176 0.001 3.860 0.200 0.279 0.017 0.304 0.041

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 39 34 36 33 37 36 33

N.S.

1 1.10 1.00 0.87 0.92 0.85 0.95 0.92 0.85

time (sec)

N/A 0.181 0.005 3.826 0.198 0.268 0.044 0.287 0.037

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 35 34 37 32 34 34

N.S.

1 1.00 1.00 0.92 0.89 0.97 0.84 0.89 0.89

time (sec)

N/A 0.174 0.003 3.896 0.200 0.253 0.040 0.306 0.045

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 36 37 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.84 0.86 0.81 0.81

time (sec)

N/A 0.174 0.007 3.863 0.198 0.271 0.044 0.333 0.046

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 34 33 37 36 33 33

N.S.

1 1.00 1.00 0.87 0.85 0.95 0.92 0.85 0.85

time (sec)

N/A 0.175 0.003 3.805 0.205 0.265 0.049 0.307 0.048

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 42 40 35 36 38 37 46 34

N.S.

1 1.05 1.00 0.88 0.90 0.95 0.92 1.15 0.85

time (sec)

N/A 0.180 0.005 3.829 0.191 0.305 0.073 0.290 0.048

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 50 48 43 42 107 87 45 37

N.S.

1 0.98 0.94 0.84 0.82 2.10 1.71 0.88 0.73

time (sec)

N/A 0.193 0.023 3.937 0.297 0.288 0.106 0.303 0.092

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 26 27 23 23 22 20 24 22

N.S.

1 0.96 1.00 0.85 0.85 0.81 0.74 0.89 0.81

time (sec)

N/A 0.171 0.006 3.916 0.210 0.274 0.093 0.275 0.045

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 39 40 32 31 89 63 31 28

N.S.

1 0.98 1.00 0.80 0.78 2.22 1.58 0.78 0.70

time (sec)

N/A 0.165 0.009 3.939 0.276 0.277 0.095 0.286 5.994

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.145 0.003 3.907 0.200 0.250 0.072 0.273 6.121

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 19 18 72 56 18 19

N.S.

1 1.00 1.00 0.66 0.62 2.48 1.93 0.62 0.66

time (sec)

N/A 0.155 0.005 3.912 0.277 0.280 0.078 0.282 6.025

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 26 22 21 23 18 15 24 18

N.S.

1 1.18 1.00 0.95 1.05 0.82 0.68 1.09 0.82

time (sec)

N/A 0.155 0.006 3.931 0.201 0.400 0.129 0.298 6.002

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 79 32 31 94 71 31 28

N.S.

1 1.00 1.98 0.80 0.78 2.35 1.78 0.78 0.70

time (sec)

N/A 0.164 0.023 4.077 0.282 0.296 0.118 0.295 0.053

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 36 35 32 33 33 31 43 31

N.S.

1 1.03 1.00 0.91 0.94 0.94 0.89 1.23 0.89

time (sec)

N/A 0.182 0.006 3.937 0.192 0.257 0.188 0.270 6.119

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 57 88 43 43 112 90 43 40

N.S.

1 1.12 1.73 0.84 0.84 2.20 1.76 0.84 0.78

time (sec)

N/A 0.183 0.025 4.099 0.277 0.279 0.152 0.285 0.066

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 212 173 34 179 107 22 172 48

N.S.

1 1.12 0.91 0.18 0.94 0.56 0.12 0.91 0.25

time (sec)

N/A 0.420 0.022 4.050 0.299 0.295 0.081 0.304 6.194

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 200 134 27 169 124 26 179 35

N.S.

1 1.08 0.72 0.15 0.91 0.67 0.14 0.97 0.19

time (sec)

N/A 0.367 0.015 3.953 0.279 0.289 0.068 0.286 5.765

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 200 134 27 169 112 20 179 33

N.S.

1 1.08 0.72 0.15 0.91 0.61 0.11 0.97 0.18

time (sec)

N/A 0.377 0.013 4.048 0.287 0.298 0.072 0.294 5.629

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 215 179 50 183 128 29 187 51

N.S.

1 1.11 0.93 0.26 0.95 0.66 0.15 0.97 0.26

time (sec)

N/A 0.391 0.022 3.898 0.296 0.284 0.094 0.294 0.109

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 217 188 56 184 153 32 175 51

N.S.

1 1.11 0.96 0.29 0.94 0.78 0.16 0.90 0.26

time (sec)

N/A 0.399 0.021 4.051 0.287 0.263 0.116 0.285 0.106

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 43 38 41 43 56 41 49 45

N.S.

1 0.93 0.83 0.89 0.93 1.22 0.89 1.07 0.98

time (sec)

N/A 0.202 0.017 4.198 0.196 0.256 0.177 0.299 0.057

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 66 60 49 52 144 92 49 50

N.S.

1 1.12 1.02 0.83 0.88 2.44 1.56 0.83 0.85

time (sec)

N/A 0.183 0.031 4.059 0.292 0.280 0.191 0.284 0.111

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 31 27 30 32 35 29 48 29

N.S.

1 0.94 0.82 0.91 0.97 1.06 0.88 1.45 0.88

time (sec)

N/A 0.181 0.010 3.925 0.215 0.288 0.147 0.277 5.540

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 53 49 40 40 127 83 39 37

N.S.

1 1.08 1.00 0.82 0.82 2.59 1.69 0.80 0.76

time (sec)

N/A 0.170 0.016 3.938 0.286 0.278 0.152 0.279 5.723

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 15 15 14 14

N.S.

1 1.00 1.00 0.94 0.88 0.94 0.94 0.88 0.88

time (sec)

N/A 0.140 0.003 4.051 0.208 0.274 0.101 0.284 5.656

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 53 49 40 39 129 83 39 37

N.S.

1 1.08 1.00 0.82 0.80 2.63 1.69 0.80 0.76

time (sec)

N/A 0.163 0.019 3.918 0.295 0.317 0.146 0.272 0.049

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 39 33 35 37 47 34 47 34

N.S.

1 1.03 0.87 0.92 0.97 1.24 0.89 1.24 0.89

time (sec)

N/A 0.184 0.010 3.885 0.206 0.290 0.201 0.293 5.856

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 67 94 49 53 152 97 51 50

N.S.

1 1.14 1.59 0.83 0.90 2.58 1.64 0.86 0.85

time (sec)

N/A 0.190 0.034 3.900 0.296 0.308 0.207 0.273 5.591

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 227 185 45 192 192 44 196 60

N.S.

1 1.11 0.91 0.22 0.94 0.94 0.22 0.96 0.29

time (sec)

N/A 0.408 0.075 3.896 0.290 0.285 0.149 0.277 0.109

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 225 182 43 190 181 39 194 58

N.S.

1 1.11 0.90 0.21 0.94 0.90 0.19 0.96 0.29

time (sec)

N/A 0.393 0.072 3.890 0.300 0.272 0.133 0.294 5.654

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 227 184 48 191 196 46 196 60

N.S.

1 1.11 0.90 0.24 0.94 0.96 0.23 0.96 0.29

time (sec)

N/A 0.396 0.064 3.899 0.310 0.298 0.136 0.287 0.119

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 225 183 46 189 183 39 194 58

N.S.

1 1.11 0.91 0.23 0.94 0.91 0.19 0.96 0.29

time (sec)

N/A 0.384 0.067 3.882 0.290 0.275 0.141 0.278 0.094

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 242 196 70 203 204 56 205 69

N.S.

1 1.13 0.92 0.33 0.95 0.95 0.26 0.96 0.32

time (sec)

N/A 0.423 0.086 3.911 0.307 0.276 0.186 0.289 5.703

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 244 194 76 206 230 58 191 73

N.S.

1 1.14 0.91 0.36 0.96 1.07 0.27 0.89 0.34

time (sec)

N/A 0.420 0.090 3.911 0.293 0.280 0.215 0.286 0.113

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 51 39 43 55 69 53 42 53

N.S.

1 0.98 0.75 0.83 1.06 1.33 1.02 0.81 1.02

time (sec)

N/A 0.194 0.014 3.996 0.205 0.271 0.254 0.287 0.076

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 80 58 52 63 196 116 49 60

N.S.

1 1.18 0.85 0.76 0.93 2.88 1.71 0.72 0.88

time (sec)

N/A 0.183 0.036 3.904 0.283 0.266 0.264 0.280 5.703

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 24 23 36 36 36 22 37

N.S.

1 1.00 1.26 1.21 1.89 1.89 1.89 1.16 1.95

time (sec)

N/A 0.143 0.008 3.856 0.195 0.287 0.203 0.272 0.043

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 80 62 54 66 199 116 54 58

N.S.

1 1.13 0.87 0.76 0.93 2.80 1.63 0.76 0.82

time (sec)

N/A 0.179 0.022 3.926 0.308 0.275 0.233 0.289 5.759

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 26 27 14 25

N.S.

1 1.00 1.00 0.94 0.88 1.62 1.69 0.88 1.56

time (sec)

N/A 0.136 0.004 3.856 0.212 0.261 0.167 0.272 0.033

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 80 58 63 62 196 110 49 59

N.S.

1 1.18 0.85 0.93 0.91 2.88 1.62 0.72 0.87

time (sec)

N/A 0.175 0.030 4.063 0.305 0.285 0.239 0.281 5.445

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 55 43 46 60 90 56 59 56

N.S.

1 1.02 0.80 0.85 1.11 1.67 1.04 1.09 1.04

time (sec)

N/A 0.192 0.022 4.083 0.213 0.284 0.303 0.275 5.432

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 94 105 58 75 218 121 61 72

N.S.

1 1.21 1.35 0.74 0.96 2.79 1.55 0.78 0.92

time (sec)

N/A 0.212 0.056 3.988 0.296 0.294 0.313 0.282 5.618

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 254 205 56 215 264 70 206 83

N.S.

1 1.14 0.92 0.25 0.96 1.18 0.31 0.92 0.37

time (sec)

N/A 0.435 0.073 4.005 0.285 0.280 0.259 0.274 5.544

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 252 201 54 213 262 68 204 81

N.S.

1 1.14 0.91 0.24 0.96 1.19 0.31 0.92 0.37

time (sec)

N/A 0.434 0.065 3.922 0.308 0.317 0.234 0.279 0.129

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 254 207 58 219 277 71 209 81

N.S.

1 1.12 0.92 0.26 0.97 1.23 0.31 0.92 0.36

time (sec)

N/A 0.438 0.067 4.003 0.313 0.283 0.229 0.301 5.827

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 250 203 56 216 267 66 206 80

N.S.

1 1.13 0.91 0.25 0.97 1.20 0.30 0.93 0.36

time (sec)

N/A 0.421 0.062 3.926 0.296 0.278 0.218 0.283 0.124

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 254 204 59 214 269 71 206 82

N.S.

1 1.14 0.91 0.26 0.96 1.21 0.32 0.92 0.37

time (sec)

N/A 0.435 0.059 3.946 0.309 0.277 0.216 0.279 5.700

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 250 200 57 212 255 63 204 80

N.S.

1 1.14 0.91 0.26 0.97 1.16 0.29 0.93 0.37

time (sec)

N/A 0.429 0.059 3.896 0.297 0.289 0.223 0.275 5.713

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 269 216 81 225 270 80 217 91

N.S.

1 1.15 0.93 0.35 0.97 1.16 0.34 0.93 0.39

time (sec)

N/A 0.461 0.060 4.025 0.310 0.283 0.284 0.279 0.119

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 34 26 25 31 27 25 25

N.S.

1 1.11 0.89 0.68 0.66 0.82 0.71 0.66 0.66

time (sec)

N/A 0.169 0.011 3.943 0.293 0.261 0.045 0.286 0.038

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 24 21 15 16 16 14 16 14

N.S.

1 1.20 1.05 0.75 0.80 0.80 0.70 0.80 0.70

time (sec)

N/A 0.160 0.005 3.917 0.213 0.271 0.034 0.276 0.032

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 35 29 21 20 20 22 20 20

N.S.

1 1.21 1.00 0.72 0.69 0.69 0.76 0.69 0.69

time (sec)

N/A 0.151 0.007 3.990 0.279 0.286 0.042 0.286 5.633

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 9 10 10 8 10 8

N.S.

1 1.00 1.00 0.75 0.83 0.83 0.67 0.83 0.67

time (sec)

N/A 0.136 0.003 3.910 0.199 0.267 0.032 0.333 5.631

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 15 14 14 17 14 14

N.S.

1 1.00 1.00 0.71 0.67 0.67 0.81 0.67 0.67

time (sec)

N/A 0.144 0.007 3.927 0.281 0.262 0.040 0.295 0.030

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 25 19 14 17 15 14 17 13

N.S.

1 1.32 1.00 0.74 0.89 0.79 0.74 0.89 0.68

time (sec)

N/A 0.146 0.004 3.951 0.214 0.303 0.045 0.302 5.572

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 35 48 21 20 29 26 20 20

N.S.

1 1.13 1.55 0.68 0.65 0.94 0.84 0.65 0.65

time (sec)

N/A 0.153 0.014 3.935 0.290 0.276 0.060 0.340 5.490

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 144 98 30 126 90 92 100 38

N.S.

1 1.38 0.94 0.29 1.21 0.87 0.88 0.96 0.37

time (sec)

N/A 0.357 0.019 3.971 0.287 0.281 0.178 0.304 0.135

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 142 96 28 124 88 90 98 36

N.S.

1 1.39 0.94 0.27 1.22 0.86 0.88 0.96 0.35

time (sec)

N/A 0.322 0.017 3.911 0.286 0.284 0.174 0.334 5.685

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 132 77 24 121 85 87 95 33

N.S.

1 1.36 0.79 0.25 1.25 0.88 0.90 0.98 0.34

time (sec)

N/A 0.313 0.012 3.928 0.282 0.275 0.192 0.289 0.113

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 132 77 24 121 85 87 95 33

N.S.

1 1.36 0.79 0.25 1.25 0.88 0.90 0.98 0.34

time (sec)

N/A 0.311 0.011 4.082 0.295 0.278 0.175 0.276 5.449

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 144 101 30 126 93 92 100 38

N.S.

1 1.16 0.81 0.24 1.02 0.75 0.74 0.81 0.31

time (sec)

N/A 0.329 0.015 3.994 0.294 0.299 0.186 0.315 0.140

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 11 11 8 11 11

N.S.

1 1.00 1.00 0.77 0.85 0.85 0.62 0.85 0.85

time (sec)

N/A 0.142 0.003 4.017 0.191 0.252 0.036 0.278 5.472

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 38 28 29 37 27 29 28

N.S.

1 1.11 1.00 0.74 0.76 0.97 0.71 0.76 0.74

time (sec)

N/A 0.157 0.012 3.925 0.297 0.273 0.053 0.285 0.038

[next] [prev] [prev-tail] [front] [up]